Object-oriented programming languages

Results: 972



#Item
511Computing / Data types / Object-oriented programming / Procedural programming languages / Functional languages / Subtype polymorphism / ALGOL 68 / Type system / Polymorphism / Software engineering / Programming language theory / Type theory

PDF Document

Add to Reading List

Source URL: galois.com

Language: English - Date: 2014-07-17 17:29:46
512Scripting languages / Cross-platform software / Object-oriented programming / Inter-process communication / Java platform / Common Object Request Broker Architecture / Tcl / Expect / Java / Computing / Software engineering / Computer programming

PDF Document

Add to Reading List

Source URL: www.tcl.tk

Language: English - Date: 2010-07-07 17:54:57
513Type theory / Object-oriented programming / Procedural programming languages / Functional languages / Subtype polymorphism / ALGOL 68 / OCaml / E / Software engineering / Computing / Programming language theory

PDF Document

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2013-05-30 11:30:58
514Object-oriented programming / Procedural programming languages / Method / Method overriding / Void type / C / Keyword / Software engineering / Computing / Computer programming

Veiledning til produksjonsrapporteringRegelverk Rapportering av petroleumsproduksjon er regulert av petroleumslovens § 10-4, petroleumsforskriften §§ 27, 48 og 49 og ressursforskriften §§ 27 og 28.

Add to Reading List

Source URL: www.npd.no

Language: English - Date: 2013-06-20 04:05:07
515Scripting languages / Object-oriented programming / Type theory / Cross-platform software / JavaScript / String / Literal / Eval / Netscape / Computing / Software engineering / Computer programming

The Complete Javascript Strings Reference By Patrick Hunlock Javascript Strings are deceptively complex constructs. There are actually two different types of strings -- String Literals and String Objects -- and they both

Add to Reading List

Source URL: www.hunlock.com

Language: English - Date: 2007-05-02 19:33:19
516Logic in computer science / Control flow / Object-oriented programming / Program logic / Procedural programming languages / Postcondition / Exception handling / Eiffel / Precondition / Software engineering / Computing / Computer programming

Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2011-06-23 07:40:14
517Object-oriented programming / Data types / Functional programming / Functional languages / Software design patterns / Smalltalk / Pattern matching / Visitor pattern / Scala / Computing / Software engineering / Computer programming

Matching Objects With Patterns Burak Emir1 , Martin Odersky1 , and John Williams2 1 LAMP-REPORT?? {first.last}@epfl.ch

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2007-08-04 17:47:42
518Object-oriented programming / Theoretical computer science / ISO standards / Data types / Type theory / Object Constraint Language / ECO / Domain-specific language / EXPRESS / Software engineering / Unified Modeling Language / Computing

C:/Users/jcabot/Documents/My Dropbox/OCLChapter/finalversion/OCLChapter.dvi

Add to Reading List

Source URL: modeling-languages.com

Language: English - Date: 2012-03-21 19:16:58
519Logic in computer science / Object-oriented programming / Procedural programming languages / Postcondition / Control flow / Eiffel / Precondition / Programming paradigms / Exception handling / Software engineering / Computing / Computer programming

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2012-09-28 08:15:15
520Data / Relational database management systems / Computer languages / Object-oriented programming / Online analytical processing / Database / Query language / Peter Baumann / Object Data Management Group / Database management systems / Computing / Data management

Spatio-Temporal Retrieval with RasDaMan Peter Baumann, Andreas Dehmel, Paula Furtado, Roland Ritsch, Norbert Widmann FORWISS (Bavarian Research Center for Knowledge-Based Systems) Orleansstr.34, DMunich, Germany D

Add to Reading List

Source URL: www.faculty.jacobs-university.de

Language: English - Date: 2012-06-12 07:38:14
UPDATE